Règles d'inférence

Règles d'inférence

Règles d'inférence règles qui permettent, dans une théorie déductive, d'arriver à la vérité d'une proposition à partir d'une ou de plusieurs propositions.

Encyclopédie Universelle. 2012.

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • INFÉRENCE — Opération de l’esprit qui passe de propositions assertives, comme prémisses, à des propositions assertives, comme conclusions. Au sens strict, on distingue l’inférence du raisonnement en ce qu’elle peut être soit médiate soit immédiate (passer de …   Encyclopédie Universelle

  • Inference bayesienne — Inférence bayésienne On nomme inférence bayésienne la démarche logique permettant de calculer ou réviser la probabilité d une hypothèse. Cette démarche est régie par l utilisation de règles strictes de combinaison des probabilités, desquelles… …   Wikipédia en Français

  • Inférence Bayésienne — On nomme inférence bayésienne la démarche logique permettant de calculer ou réviser la probabilité d une hypothèse. Cette démarche est régie par l utilisation de règles strictes de combinaison des probabilités, desquelles dérive le théorème de… …   Wikipédia en Français

  • Inference — Inférence L inférence est une opération mentale, ou jugement, qui consiste à tirer une conclusion (d une série de propositions reconnues pour vraies). Ces conclusions sont tirées à partir de règles de base. Dans sa définition classique, l… …   Wikipédia en Français

  • Inférence bayésienne — On nomme inférence bayésienne la démarche logique permettant de calculer ou réviser la probabilité d un événement. Cette démarche est régie en particulier par théorème de Bayes. Dans la perspective bayésienne, une probabilité n est pas… …   Wikipédia en Français

  • Inférence inductive — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… …   Wikipédia en Français

  • Regle d'inference — Règle d inférence Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes.… …   Wikipédia en Français

  • Règle d'inférence — Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes. Sommaire 1… …   Wikipédia en Français

  • moteur d'inférence — ● loc. m. ►INTART Programme réalisant les déductions logiques d un système expert à partir d une base de connaissances (faits) et d une base de règles. Les règles sont utilisées pour manipuler les connaissances et aboutir à des conclusions qu on… …   Dictionnaire d'informatique francophone

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”